An Extension to the TIMERS Method
نویسندگان
چکیده
In this paper we present TIMERS II (Temporal Investigation Method for Enregistered Record Sequences II). Assuming that the effects take time to manifest, TIMERS II merges the input records and brings the causes and effects together. The output is in the form of a set of decision rules. The condition attributes’ values could have been observed in the past or the future relative to the decision attribute’s value. In TIMERS II the past values can influence the present, thus establishing causality. But we consider it possible to reference observations that appear after the decision attribute, which forms the basis for acausality, or temporal co-occurrence. Three tests are performed using three different assumptions on the nature of the relationship. Each test results in a number of classification rules. The quality of the output rulesets determine if the decision attribute's value is best described by a nontemporal (instantaneous) relationship, or a temporal (causal or acausal) one. In previous work, TIMERS would allow referencing the values of condition attributes that were all observed either after or before the decision attribute, and so the rules followed a unique direction in time. In this paper, we consider it possible to reference both the past and the future values in the same rule to predict an attribute's value. We also present a new algorithm that uses the accuracy of the generated rulesets to determine whether the relationship between the decision attribute and the condition attributes is instantaneous, causal, or acasual.
منابع مشابه
Coordination by Timers for Channel-Based Anonymous Communications
In considering systems of distributed processes, we must deal with access to resources, locations and communication among processes. In this paper we present a new model for timed coordination of communicating distributed processes using an extension of the π-calculus with locations, types and timers. Types are used to express restricted access to distributed resources. Timers de ne timeouts fo...
متن کاملAn Analysis of Achievement of the Philosophical Sense of “Extension” in Music, with Interpretaion of Ibn-e Sina’s Explanation an Extension
This research can be considered as one of the studies that seek to explore, in an argumentative way, subtle and solid philosophical concepts in the field of art. The paper provides an analysis of the concept of “extension” in music as one of the most thought-provoking philosophical concepts. The analysis is carried out by interpreting Ibn-Sina’s special conception of musical extension to answer...
متن کاملIterative Algorithms for Formal Veri cation of Embedded Real-Time Systems
Most embedded real-time systems consists of many concurrent components operating at signi cantly different speeds. Thus, an algorithm for formal verication of such systems must e ciently deal with a large number of states and large ratios of timing constants. We present such an algorithm based on timed automata, a model where a nite state system is augmented with time measuring devices called t...
متن کاملBarbed Bisimulations for Timed Distributed π-calculus
Modelling distributed systems requires notions as locations, communication among the distributed processes, and resource access. To express time constraints for such systems, we have introduced timed distributed π-calculus called tDπ as an extension of the π-calculus with locations, types and timers. Timers define both timeouts for communication channels and timeouts for resources. We define th...
متن کاملA note on "An interval type-2 fuzzy extension of the TOPSIS method using alpha cuts"
The technique for order of preference by similarity to ideal solution (TOPSIS) is a method based on the ideal solutions in which the most desirable alternative should have the shortest distance from positive ideal solution and the longest distance from negative ideal solution. Depending on type of evaluations or method of ranking, different approaches have been proposing to calculate distances ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005